Choreography Rehearsal
نویسندگان
چکیده
We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.
منابع مشابه
Bringing Test-Driven Development to web service choreographies
Choreographies are a distributed approach for composing web services. Compared to orchestrations, which use a centralized scheme for distributed service management, the interaction among the choreographed services is collaborative with decentralized coordination. Despite the advantages, choreography development, including the testing activities, has not yet evolved sufficiently to support the c...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملApplications of Computers to Dance
f all the art forms, dance has probably been the slowest to adopt technology. In part, this reflects the reluctance of dancers and choreographers to let anything get between them and the live kinesthetic experience. But it also reflects the fact that useful tools have been slow to develop in a market with limited commercial opportunity. Probably the first article suggesting the application of c...
متن کاملTransmedia Choreography: Integrating Multimodal Video Annotation in the Creative Process of a Social Robotics Performance Piece
In this article I explore my current choreographic work with human and flying robotic performers. I adopt a number of existing conceptual lenses for the analysis of my choreographic approach, including ‘interdisciplinary choreography’, ‘post-choreography’, ‘processing choreography’, ‘generative techniques’ and ‘metacreation’. Following a brief discussion of choreographic practices in digital (l...
متن کاملDo We Need a Refined Choreography Notion?
Since the term choreography for capturing the publicly observable message exchanges between integration partners was coined, choreography technology evolved significantly. Today, the diversity of choreography languages is high. Up to now, choreography languages have been categorized by distinguishing between implementation specific and implementation independent choreographies as well as intera...
متن کامل